Search results for "Algebraic closure"
showing 6 items of 6 documents
Birkhoff-Frink representations as functors
2010
In an earlier article we characterized, from the viewpoint of set theory, those closure operators for which the classical result of Birkhoff and Frink, stating the equivalence between algebraic closure spaces, subalgebra lattices and algebraic lattices, holds in a many-sorted setting. In the present article we investigate, from the standpoint of category theory, the form these equivalences take when the adequate morphisms of the several different species of structures implicated in them are also taken into account. Specifically, our main aim is to provide a functorial rendering of the Birkhoff-Frink representation theorems for both single-sorted algebras and many-sorted algebras, by definin…
Semistable Higgs bundles, periodic Higgs bundles and representations of algebraic fundamental groups
2019
Let $k $ be the algebraic closure of a finite field of odd characteristic $p$ and $X$ a smooth projective scheme over the Witt ring $W(k)$ which is geometrically connected in characteristic zero. We introduce the notion of Higgs-de Rham flow and prove that the category of periodic Higgs-de Rham flows over $X/W(k)$ is equivalent to the category of Fontaine modules, hence further equivalent to the category of crystalline representations of the \'{e}tale fundamental group $\pi_1(X_K)$ of the generic fiber of $X$, after Fontaine-Laffaille and Faltings. Moreover, we prove that every semistable Higgs bundle over the special fiber $X_k$ of $X$ of rank $\leq p$ initiates a semistable Higgs-de Rham …
On many-sorted algebraic closure operators
2004
A theorem of Birkhoff-Frink asserts that every algebraic closure operator on an ordinary set arises, from some algebraic structure on the set, as the corresponding generated subalgebra operator. However, for many-sorted sets, i.e., indexed families of sets, such a theorem is not longer true without qualification. We characterize the corresponding many-sorted closure operators as precisely the uniform algebraic operators. (© 2004 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)
Unitary Groups Acting on Grassmannians Associated with a Quadratic Extension of Fields
2006
Let (V, H) be an anisotropic Hermitian space of finite dimension over the algebraic closure of a real closed field K. We determine the orbits of the group of isometries of (V, H) in the set of K-subspaces of V . Throughout the paper K denotes a real closed field and K its algebraic closure. Then it is well known (see, for example, [4, Chapter 2], [23]; see also [8]) that K = K(i) with i = √−1. Also we let (V,H) be an anisotropic Hermitian space (with respect to the involution underlying the quadratic field extension K/K) of finite dimension n over K. In this context we consider the natural action of the unitary group U = U(V,H) of isometries of (V,H) on the set Xd of all ddimensional K-subs…
General Theory: Algebraic Point of View
2009
It is convenient to divide our study of pip-spaces into two stages. In the first one, we consider only the algebraic aspects. That is, we explore the structure generated by a linear compatibility relation on a vector space V , as introduced in Section I.2, without any other ingredient. This will lead us to another equivalent formulation, in terms of particular coverings of V by families of subspaces. This first approach, purely algebraic, is the subject matter of the present chapter. Then, in a second stage, we introduce topologies on the so-called assaying subspaces \(\{V_r \}\). Indeed, as already mentioned in Section I.2, assuming the partial inner product to be nondegenerate implies tha…
A new multidimensional, energy-dependent two-moment transport code for neutrino-hydrodynamics
2015
We present the new code ALCAR developed to model multidimensional, multi energy-group neutrino transport in the context of supernovae and neutron-star mergers. The algorithm solves the evolution equations of the 0th- and 1st-order angular moments of the specific intensity, supplemented by an algebraic relation for the 2nd-moment tensor to close the system. The scheme takes into account frame-dependent effects of order O(v/c) as well as the most important types of neutrino interactions. The transport scheme is significantly more efficient than a multidimensional solver of the Boltzmann equation, while it is more accurate and consistent than the flux-limited diffusion method. The finite-volum…